Component-Oriented Specification of Performance Measures

Component-Oriented Specification of Performance Measures

Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally based on reward structures and, more recently, on temporal logic. In this paper we propose a mixed approach, which aims at facilitating the specification of performance measures by allowing the designer to express the...

Mixing logics and rewards for the component-oriented specification of performance measures

Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally based on reward structures and, more recently, on temporal logics. In this paper we propose an approach that combines logics and rewards together with a definition mechanism that allows performance measures to be spec...

Constraint-Oriented Specification of Performance Aspects

This note sketches how to extend (distributed) system specifications with performance constraints. The emphasis is on how to include performance aspects in a modular way. The key of the approach is to specify random delays as separated processes that are composed in parallel with an untimed, functional system specification. The use of parallel processes as separate constraints is in accordance ...

Component Component PROBLEM SOLVER TEST CASE SOLUTION + PERFORMANCE MEASURES

Specification of a Multipoint Congram-Oriented High Performance Internet Protocol

We have proposed a very high speed internet (VHSI) abstraction that can provide a variable grade service with performance guarantees on top of diverse networks. An important component of the VHSI abstraction is a novel Multipoint Congram-oriented High Performance Internet Protocol (MCHIP). Features of this protocol include support for multipoint communication, the congram as the service primiti...